Search
Feedback
About
Help
News
Narrow your search
| Listing 1 - 1 of 1 |
Sort by
|
Dissertation
Searching program libraries by type and proving compiler correctness by bisimulation
Loading...
Authors:
Rittri, Mikael
---
Göteborgs Universitet. Department of computer sciences
ISBN: 917032476X Year: 1990 Publisher: Goteborg s.n.
ISBN: 917032476X Year: 1990 Publisher: Goteborg s.n.
Abstract | Keywords | Export | Availability | Bookmark
Loading...
Export citation
Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Bookmark
Abstract
Keywords
681.3 --- Computerwetenschap --- Theses --- 681.3* / / / / / / / / / / / / / / / / / / / / / / / / / / / /
| Listing 1 - 1 of 1 |
Sort by
|